Papers by Marco Luca Sbodio
Neural Unification for Logic Reasoning over Natural Language (2021.findings-emnlp)
Copied to clipboard
| Challenge: | Automated Theorem Proving (ATP) is a computer program that can show that conjectures are logical consequences of a set of axioms. |
| Approach: | They propose a transformer-based architecture for deriving conjectures given axioms . they propose 'neural unifier' and relative training procedure to train the model . |
| Outcome: | The proposed architectures are able to answer queries with deep queries with a relatively low training time. |
Towards Protecting Vital Healthcare Programs by Extracting Actionable Knowledge from Policy (2021.findings-acl)
Copied to clipboard
Vanessa Lopez, Nagesh Yadav, Gabriele Picco, Inge Vejsbjerg, Eoin Carrol, Seamus Brady, Marco Luca Sbodio, Lam Thanh Hoang, Miao Wei, John Segrave
| Challenge: | In the U.S., an estimated annual amount of USD$20-30B is lost to Fraud, Waste and abuse (FWA) |
| Approach: | They propose a method for automatically extracting knowledge from healthcare policy documents into a semantically-meaningful knowledge graph of rules. |
| Outcome: | The proposed method fuses advances in dependency parsing with a policy ontology to transform the content of regulatory healthcare policy into human-friendly policy rules with human oversight. |